simplification of the following